RCM Interface Grammar

This note presents the mathematical formalization of the model transformations developed around the RCM domain specific language (RCM is short for Ravenscar Computational Model) in the context of the ASSERT project partially funded by the European Commission in the 6th Framework Program (www.assert-project.net). The mathematical basis for the present formalization of the RCM Interface Grammar was first published in the paper “Composability for High-Integrity Real-Time Embedded Systems” [1]. This technical note was written in complement to the paper “Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems” by D. Cancila, R. Passerone, T. Vardanega and M. Panunzio, presently under review by the IEEE Transactions on Industrial Informatics.